REPORT OF COMMITTEE ON SURVEY OF BIBLIOGRAPHICAL LITERATURE, BIBLIOGRAPHICAL SOCIETY OF AMERICA

Bibliographical Society of America Old Faces and New Acquaintances

Interactively Exploring Bibliographical Data for Literature Analysis

This paper introduces techniques for interactive navigation within large sets of bibliographic data. The main conceptual idea is to use various relations between the entries to navigate within the information space. A visualization that supports both the display of the data itself and the relations is introduced. Interaction techniques offer possibilities to follow relations and, thus, create n...

Bibliographical Details

I describe the challenges involved in designing and evaluating high assurance, verifiable voting systems. I describe the Pret a Voter scheme that provides voterverifiablity with minimal trust in officials, software etc. I also describe a number of threats against voting schemes and the extent to which they apply to the basic Pret a Voter scheme. Some enhancements to the scheme designed to count...

Bibliographical details

Building trustworthy (dependable) systems is a major challenge faced by software developers. To this end, various fault tolerance mechanisms have been developed by researchers and used in industry. Unfortunately, more often than not these solutions ignore earlier development phases most importantly, the architecture design to exclusively focus on the implementation instead. This creates a dange...

Modelling with Constraints: A Bibliographical Survey

Nowadays, the constraint solvers play a fundamental role in many graphical applications, including geometrical and mechanical CAD systems, layouts, user interface, and animation. These applications use constraints to conveniently describe relations between objects. Constraints are automatically maintained and satisfied by a constraints solver. So, numerical and tedious tasks are left to the sol...